Zero-knowledge proof

Results: 211



#Item
51Secure two-party computation / Pseudorandomness / Random oracle / Security parameter / Zero-knowledge proof / IP / Universal composability / Verifiable secret sharing / Cryptography / Cryptographic protocols / Secure multi-party computation

Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries∗ Carmit Hazay† Yehuda Lindell†

Add to Reading List

Source URL: www.eng.biu.ac.il

Language: English - Date: 2014-09-16 05:37:56
52Cryptographic protocols / Bitcoin / Peer-to-peer computing / Secure multi-party computation / Commitment scheme / Zero-knowledge proof / X Window System / PP / Homomorphic encryption / Cryptography / Software / Computing

How to Use Bitcoin to Incentivize Correct Computations Ranjit Kumaresan and Iddo Bentov Technion, Haifa, Israel {ranjit | idddo }@cs.technion.ac.il

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2014-09-01 09:06:37
53Secure two-party computation / Pseudorandomness / Random oracle / Security parameter / Zero-knowledge proof / IP / Universal composability / Verifiable secret sharing / Cryptography / Cryptographic protocols / Secure multi-party computation

Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries∗ Carmit Hazay† Yehuda Lindell†

Add to Reading List

Source URL: www.eng.biu.ac.il

Language: English - Date: 2014-09-16 05:37:56
54Computational complexity theory / Secure multi-party computation / Commitment scheme / Homomorphic encryption / Secure two-party computation / Paillier cryptosystem / Oblivious transfer / Zero-knowledge proof / Communication complexity / Cryptography / Cryptographic protocols / Public-key cryptography

Efficient Set Operations in the Presence of Malicious Adversaries Carmit Hazay∗ Kobbi Nissim† November 25, 2010

Add to Reading List

Source URL: www.eng.biu.ac.il

Language: English - Date: 2010-11-25 08:58:28
55Zero-knowledge proof / RSA / IP / Alice and Bob / XTR / Digital signature / Interactive proof system / Cryptography / Cryptographic protocols / Public-key cryptography

CS 161 Computer Security Fall 2005

Add to Reading List

Source URL: www-inst.eecs.berkeley.edu

Language: English - Date: 2005-12-13 23:10:13
56Proof of knowledge / IP / Zero-knowledge proof / NP / Commitment scheme / Quadratic residue / Cryptography / Cryptographic protocols / Applied mathematics

On the Amortized Complexity of Zero-Knowledge Proofs Ronald Cramer, CWI Ivan Damgård, Århus University Classic Zero-Knowledge Protocols

Add to Reading List

Source URL: www.iacr.org

Language: English - Date: 2009-09-22 17:56:28
57Algebra / Zero-knowledge proof / Proof of knowledge / XTR / IP / Weight / Cryptography / Cryptographic protocols / Abstract algebra

Thinking Inside the BLAC Box:* Smarter Protocols for Faster Anonymous Blacklisting Ryan Henry Ian Goldberg

Add to Reading List

Source URL: www.cypherpunks.ca

Language: English - Date: 2013-09-04 10:18:33
58Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic

A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
59Applied mathematics / Proof of knowledge / Zero-knowledge proof / IP / Communications protocol / Vehicle Identification Number / Formal verification / NP / XTR / Theoretical computer science / Cryptography / Cryptographic protocols

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel Barbosa

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
60Zero-knowledge proof / IP / Soundness / Commitment scheme / NP / Interactive proof system / Non-interactive zero-knowledge proof / Cryptography / Cryptographic protocols / Proof of knowledge

Batch Proofs of Partial Knowledge Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1

Add to Reading List

Source URL: cacr.uwaterloo.ca

Language: English - Date: 2013-02-12 09:54:17
UPDATE